A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Computability theory
• Subroutines
• Programming idioms
• Models of computation
• Functional programming
• Curry
• Prolog
• Recursion

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Idioms: applicative programming with effects

Source URL: strictlypositive.org

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Source URL: amitlevy.com

• Functional programming
• Programming idioms
• Inter-process communication
• Software design patterns
• Parallel computing
• Monad
• Concurrent Haskell
• Information flow
• Covert channel
• Concurrent computing
• LIO
• Recursion

Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand

Source URL: www.cs.waikato.ac.nz

• Mathematical logic
• Programming idioms
• Logic programming
• Prolog
• Deductive database
• Clause
• Stratification
• Horn clause
• Recursion
• Computer programming
• Software engineering
• Computing

PDF Document

Source URL: sygus.seas.upenn.edu

• Programming idioms
• Recursion
• Procedural programming languages
• Function
• Conditional
• ALGOL 68
• Infinite loop
• Type system
• Computer programming
• Software engineering
• Computing

POLYA PROBLEM-SOLVING SEMINAR WEEK 3: RECURRENCES BOB HOUGH AND RAVI VAKIL The Rules. These are way too many problems to consider. Just pick a few problems you like and play around with them.

Source URL: math.stanford.edu

• Programming idioms
• Algebra
• Recurrence relation
• Number theory
• Fibonacci number
• Recursion
• Factorial
• Mathematics
• Integer sequences
• Theory of computation

Packrat Parsers Can Support Left Recursion ∗ Alessandro Warth James R. Douglass Todd Millstein

Source URL: tinlizzie.org

• Computer programming
• Parsing
• Compiler construction
• Recursion
• Programming idioms
• Parsing expression grammar
• Left recursion
• Top-down parsing
• LR parser
• Formal languages
• Software engineering
• Computing

Mining Idioms from Source Code Miltiadis Allamanis, Charles Sutton School of Informatics, University of Edinburgh Edinburgh EH8 9AB, UK {m.allamanis,csutton}@ed.ac.uk

Source URL: homepages.inf.ed.ac.uk

• Cross-platform software
• Idiom
• SQL
• Java
• C
• Computing
• Software engineering
• Computer programming

Algorithms Appendix II: Solving Recurrences [Fa’13] Change is certain. Peace is followed by disturbances; departure of evil men by their return. Such recurrences should not constitute occasions for sadness but realiti

Source URL: web.engr.illinois.edu

• Asymptotic analysis
• Sorting algorithms
• Programming idioms
• Master theorem
• Recurrence relation
• Fibonacci number
• Factorial
• Quicksort
• Merge sort
• Mathematics
• Analysis of algorithms
• Theory of computation